大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Programming (Numerical Software) 的图书(共3243本)

Genetic Programming [electronic resource] : 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings

0
索取号：
作者：Collet、 Pierre.、Tomassini、 Marco.、Ebner、 Marc.、Gustafson、 Steven.、Ek谩rt、 Anik贸.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Model Checking Software [electronic resource] : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings

0
索取号：
作者：Valmari、 Antti.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Programming Languages and Systems [electronic resource] : 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

0
索取号：
作者：Sestoft、 Peter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Fundamental Approaches to Software Engineering [electronic resource] : 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

0
索取号：
作者：Baresi、 Luciano.、Heckel、 Reiko.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

0
索取号：
作者：Hermanns、 Holger.、Palsberg、 Jens.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Compiler Construction [electronic resource] : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings

0
索取号：
作者：Mycroft、 Alan.、Zeller、 Andreas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Foundations of Software Science and Computation Structures [electronic resource] : 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings

0
索取号：
作者：Aceto、 Luca.、Ing贸lfsd贸ttir、 Anna.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Transactions on Aspect-Oriented Software Development I [electronic resource]

0
索取号：
作者：Rashid、 Awais.、Aksit、 Mehmet.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Gene Expression Programming [electronic resource] : Mathematical Modeling by an Artificial Intelligence

0
索取号：
作者：Ferreira、 C芒ndida.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Programming Multi-Agent Systems [electronic resource] : Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers

0
索取号：
作者：Bordini、 Rafael H.、Dastani、 Mehdi M.、Dix、 J眉rgen.、Fallah Seghrouchni、 Amal.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Hardware and Software, Verification and Testing [electronic resource] : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

0
索取号：
作者：Ur、 Shmuel.、Bin、 Eyal.、Wolfsthal、 Yaron.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Genetic Systems Programming [electronic resource] : Theory and Experiences

0
索取号：
作者：Nedjah、 Nadia.、Mourelle、 Luiza de Macedo.、Abraham、 Ajith.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Unifying the Software Process Spectrum [electronic resource] : International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005, Revised Selected Papers

0
索取号：
作者：Li、 Mingshu.、Boehm、 Barry.、Osterweil、 Leon J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings

0
索取号：
作者：Sarukkai、 Sundar.、Sen、 Sandeep.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

MEGAFLOW - Numerical Flow Simulation for Aircraft Design [electronic resource] : Results of the second phase of the German CFD initiative MEGAFLOW, presented during its closing symposium at DLR, Braunschweig, Germany, December 10 and 11, 2002

0
索取号：
作者：Kroll、 Norbert.、Fassbender、 Jens K.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Efficient Numerical Methods and Information-Processing Techniques for Modeling Hydro- and Environmental Systems [electronic resource]

0
索取号：
作者：Hinkelmann、 Reinhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.